interface T { +[[foo]](): X }
